Pattern theory - PDFSEARCH.IO - Document Search Engine

Pattern theory
Results: 752

#	Item
461	Combinational Techniques for Sequential Equivalence Checking Hamid Savoj1 David Berthelot1 Alan Mishchenko2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2010-03-23 04:39:57 Digital electronics Formal methods Logic in computer science Automata theory Formal equivalence checking Combinational logic Sequential logic Automatic test pattern generation NC Theoretical computer science Electronic engineering Applied mathematics
462	6JSC/EURIG/3/ACOC response September 7, 2012 Page 1 of 1 To: Add to Reading List Source URL: www.rda-jsc.org Language: English - Date: 2012-09-14 16:07:03 Procedural programming languages Automata theory Pattern matching Regular expression ALGOL 68 Software engineering Computing Computer programming
463	Recent Approaches to Pattern Discovery and Ranking with Graphs Prof. Dr. Stefan Wrobel Fraunhofer IAIS and University of Bonn Joint work with Mario Boley, Dr. Thomas Gärtner, Dr. Tamas Horváth, Dr. Axel Poigné, and Sh Add to Reading List Source URL: www.iais.fraunhofer.de Language: English - Date: 2007-11-08 02:53:21 Outerplanar graph Structure mining Line graph Graph Knowledge discovery Graph theory Data mining Planar graphs
464	Comindware® Expression Language Reference Guide Add to Reading List Source URL: dl2.comindware.com Language: English - Date: 2013-03-04 11:14:28 Subroutines Automata theory Pattern matching Regular expression Conditional Return statement SQL XPath 2.0 Computing Software engineering Computer programming
465	Microsoft Word - Chapter 1 Add to Reading List Source URL: igm.univ-mlv.fr Language: English - Date: 2009-07-11 11:28:37 Formal languages Combinatorics on words Pattern matching String matching algorithms Automata theory Regular expression AWK String Algorithm Computing Software engineering Software
466	888 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOL. 22, Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2011-11-19 02:39:01 Matrix theory Numerical linear algebra Singular value decomposition Algebraic graph theory Graph partition Eigenvalues and eigenvectors Rayleigh quotient Eigendecomposition of a matrix Segmentation Algebra Mathematics Linear algebra
467	Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID[removed], 10 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 16:18:32 Academia Predation Reaction–diffusion system Differential equations Systems theory Pattern formation Mathematical and theoretical biology Harry Swinney Alan Turing Science Mathematical modeling British people
468	Two-Class Pattern Discrimination via Recursive Optimization of Patrick-Fisher Distance Mayer E. Aladjem Department of Electrical and Computer Engineering Ben-Gurion University of the Negev, P.O.B. 653, 84105 Beer-Sheva, Add to Reading List Source URL: www.ee.bgu.ac.il Language: English - Date: 2000-07-16 04:39:50 Multivariate statistics Probability theory Data analysis Linear discriminant analysis Statistical classification Normal distribution Symbol Principal component analysis Random variable Statistics Algebra Mathematics
469	Higher-Order Pattern Complement and the Strict λ-Calculus ALBERTO MOMIGLIANO University of Leicester and FRANK PFENNING Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-12 07:48:30 Deduction Predicate logic Computability theory Lambda calculus Theoretical computer science Free variables and bound variables Entailment Unification Admissible rule Logic Mathematical logic Mathematics
470	A Subgraph Operator for Graph Transformation Languages Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2009-09-17 13:26:18 Graph rewriting Pattern matching Graph Matching Graph coloring Graph operations Graph theory Mathematics Theoretical computer science

UPDATE